Modal Logics for Products of Topologies
نویسندگان
چکیده
We introduce the horizontal and vertical topologies on the product of topological spaces, and study their relationship with the standard product topology. We show that the modal logic of products of topological spaces with horizontal and vertical topologies is the fusion S4 ⊕ S4. We axiomatize the modal logic of products of topological spaces with horizontal, vertical, and standard product topologies. We prove that both of these logics are complete for the product of rational numbers Q× Q with the appropriate topologies.
منابع مشابه
Multimo dal Logics of Products of Topologies
We introduce the horizontal and vertical topologies on the product of topological spaces, and study their relationship with the standard product topology. We show that the modal logic of products of topological spaces with horizontal and vertical topologies is the fusion S4 ⊕ S4. We axiomatize the modal logic of products of spaces with horizontal, vertical, and standard product topologies. We p...
متن کاملTensor products of modal logics
Products were introduced in the 1970s as a natural type of combined modal logics. They arise in different areas of pure and applied logics — spatial reasoning, multi-agent systems, quantified modal and intuitionistic logics etc. The theory of products was systematized and essentially developed first in the paper [GS98] and then in the book [GKWZ03], but during the past 10 years new important re...
متن کاملProducts of ‘transitive’ modal logics without the (abstract) finite model property
It is well known that many two-dimensional products of modal logics with at least one ‘transitive’ (but not ‘symmetric’) component lack the product finite model property. Here we show that products of two ‘transitive’ logics (such as, e.g., K4 ×K4, S4 × S4, Grz×Grz and GL×GL) do not have the (abstract) finite model property either. These are the first known examples of 2D modal product logics w...
متن کاملAxiomatizing the lexicographic products of modal logics with linear temporal logic
Given modal logics 1, 2, their lexicographic product 1 ⇤ 2 is a new logic whose frames are the Cartesian products of a 1-frame and a 2-frame, but with the new accessibility relations reminiscent of a lexicographic ordering. This article considers the lexicographic products of several modal logics with linear temporal logic (LTL) based on “next” and “always in the future”. We provide axiomatizat...
متن کاملModal Logic of Some Products of Neighborhood Frames
We consider modal logics of products of neighborhood frames and prove that for any pair L and L′ of logics from set {S4,D4,D,T} modal logic of products of Lneighborhood frames and L′-neighborhood frames is the fusion of L and L′.
متن کامل